(Generic PR.DEF)
!pr.*
